Jennifer Widom - PDFSEARCH.IO - Document Search Engine

Jennifer Widom
Results: 18

#	Item
11	Query Optimization over Crowdsourced Data⇤ Hyunjung Park Jennifer Widom Stanford University Add to Reading List Source URL: www.vldb.org Language: English - Date: 2013-10-08 04:59:33 SQL Query optimizer Cardinality Join Query plan Select Data model Null Function Data management SQL keywords Database management systems
12	Provenance for Generalized Map and Reduce Workflows ∗ Robert Ikeda, Hyunjung Park, and Jennifer Widom Stanford University Add to Reading List Source URL: www.cidrdb.org Language: English - Date: 2011-01-07 00:43:54 Functions and mappings Archival science Art history Data collection Provenance Neural networks MapReduce Function Stack Computing Concurrent computing Software engineering
13	GPS: A Graph Processing System⇤ Semih Salihoglu and Jennifer Widom Stanford University {semih,widom}@cs.stanford.edu Abstract Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2013-06-18 18:35:13 NP-complete problems Graph partition Graph Connected component Graph coloring Edge coloring Graph theory Theoretical computer science Mathematics
14	Trace-Based Network Proof Systems: Expressiveness and Completeness JENNIFER WIDOM Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 22:08:39 Model theory Non-classical logic Abstraction Axiology First-order logic Parallel computing Modal logic Trace Temporal logic Logic Mathematics Mathematical logic
15	Completeness and Incompleteness of Trace-Based Network Proof Systems? Jennifer Widom, David Gries, and Fred B. Schneider Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 22:10:37 Philosophical logic Model theory Proof theory Non-classical logic Axiom Formal methods Theorem Modal logic Trace Logic Mathematics Formal sciences
16	HelP: High-level Primitives For Large-Scale Graph Processing Semih Salihoglu Jennifer Widom Add to Reading List Source URL: ilpubs.stanford.edu Language: English - Date: 2014-05-16 18:11:48 Degeneracy Graph coloring Connectivity Directed acyclic graph Distance Graph Tree Centrality Vertex Graph theory Mathematics Theoretical computer science
17	Aditya Parameswaran Department of Computer Science University of Illinois, Urbana-Champaign Urbana IL[removed]Employment Add to Reading List Source URL: www-cs-students.stanford.edu Language: English - Date: 2014-06-11 13:13:30 VLDB Data management Academia Jeffrey Ullman Jennifer Widom Héctor García-Molina Conference on Innovative Data Systems Research SIGMOD Alon Y. Halevy Guggenheim Fellows Computer science Computing
18	approximate replication a dissertation Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2003-06-02 19:44:06 Mathematical sciences Fault-tolerant computer systems Guggenheim Fellows Computer storage Replication Scheduling Algorithm Accuracy and precision Jennifer Widom Statistics Thought Data synchronization

UPDATE